Model Based Programmable Control Logic Design

نویسندگان

  • Gašper Mušič
  • Drago Matko
  • Borut Zupančič
چکیده

The paper presents a methodology of designing control logic that is implemented by industrial programmable logic controllers. The approach is based on discrete-event model of a plant to be controlled and a set of interlock and sequential specification models. Supervisory control theory is used to test the controllability of the specifications and in the final stage, to derive a model of the admissible behaviour of the system which serves as a specification for the sequential part of the controller. A laboratory scale modular assembly line case study is presented to illustrate the practical issues of the approach. Copyright ©2002 IFAC

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Design and PLC Implementation for Speed Control of DC Motor using Fuzzy Logic

In this article, a speed control of DC motor is designed and illustrated using fuzzy logic-based programmable logic controller (PLC). The DC motor is an attractive part of electrical equipment in many industrial applications requiring variable speed and load specifications due to its ease of controllability. The designed system is consisted of three main parts including programmable logic contr...

متن کامل

A rule-based evaluation of ladder logic diagram and timed petri nets for programmable logic controllers

This paper describes an evaluation through a case study by measuring a rule-based approach, which proposed for ladder logic diagrams and Petri nets. In the beginning, programmable logic controllers were widely designed by ladder logic diagrams. When complexity and functionality of manufacturing systems increases, developing their software is becoming more difficult. Thus, Petri nets as a high l...

متن کامل

An Efficient Algorithm for Output Coding in Pal Based Cplds (TECHNICAL NOTE)

One of the approaches used to partition inputs consists in modifying and limiting the input set using an external transcoder. This method is strictly related to output coding. This paper presents an optimal output coding in PAL-based programmable transcoders. The algorithm can be used to implement circuits in PAL-based CPLDs.

متن کامل

Field Programmable Gate Array Implementation of Active Control Laws for Multi-mode Vibration Damping

This paper investigate the possibility and effectiveness of multi-mode vibration control of a plate through real-time FPGA (Field Programmable Gate Array) implementation. This type of embedded system offers true parallel and high throughput computation abilities. The control object is an aluminum panel, clamped to a Perspex box’s upper side. Two types of control laws are studied. The first belo...

متن کامل

A Petri Net based Approach to the Development of correct Logic Controllers Design, Verification, Validation, Evaluation, and Implementation

An overview on the different steps involved in the development of a logic control algorithm from the informal specification to the final implementation on a programmable logic controller (PLC) is given. Based on this overview the steps in the development process are presented in detail. An example is used throughout the paper to illustrate the methods. The approach uses Signal Interpreted Petri...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2002